/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
function toolVisible(id){
    document.getElementById(id).style.visibility="visible";
}

function toolInvisible(id){
    document.getElementById(id).style.visibility="hidden";
    
}